Partial sum of coefficients of formal power series
$ \displaystyle \sum_{i=0}^{k} [x^{i}]F = [x^{k}] \frac{1}{1-x}F
https://gyazo.com/d2b35a2b8edac6568330822eed553018
Partial sum of coefficients of [formal power series
---
This page is auto-translated from /nishio/形式的べき級数の係数の部分和. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.